From: Colin Walters <walters@verbum.org>
Date: Sun, 2 Aug 2009 01:46:02 +0000 (-0400)
Subject: Give the runDialog a rounded corner
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~11174
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=d7f5fd5d24b3e43bdad807201d89f9af44a82780;p=gnome-shell.git

Give the runDialog a rounded corner

Just makes things a bit nicer looking.
---

diff --git a/js/ui/runDialog.js b/js/ui/runDialog.js
index fc5493ad8..c55b8d765 100644
--- a/js/ui/runDialog.js
+++ b/js/ui/runDialog.js
@@ -1,5 +1,6 @@
 /* -*- mode: js2; js2-basic-offset: 4; indent-tabs-mode: nil -*- */
 
+const Big = imports.gi.Big;
 const Clutter = imports.gi.Clutter;
 const Shell = imports.gi.Shell;
 const Signals = imports.signals;
@@ -43,11 +44,12 @@ RunDialog.prototype = {
                               (global.screen_height - BOX_HEIGHT) / 2);
         this._group.add_actor(boxGroup);
 
-        let box = new Clutter.Rectangle({ color: BOX_BACKGROUND_COLOR,
-                                          reactive: false,
-                                          width: BOX_WIDTH,
-                                          height: BOX_HEIGHT,
-                                          border_width: 0 });
+        let box = new Big.Box({ background_color: BOX_BACKGROUND_COLOR,
+                                corner_radius: 4,
+                                reactive: false,
+                                width: BOX_WIDTH,
+                                height: BOX_HEIGHT
+                              });
         boxGroup.add_actor(box);
 
         let label = new Clutter.Text({ color: BOX_TEXT_COLOR,